Abstract template
نویسنده
چکیده
Cell biomechanics mediates critical cell functions including proliferation, differentiation, gene expression, contraction, and migration. Moreover, cells sense and actively respond to the mechanical features of their microenvironment. Therefore, a precise characterization of the mechanical properties of cells and extracellular matrix (ECM) is needed to further our understanding of the cell-microenvironment interplay. We use atomic force microscopy (AFM) to study nanomechanical properties of cells and EMC of lung and heart tissues [1-4]. The Young’s modulus (E) is computed by fitting the tip-sample contact model to force-indentation curves recorded on sample. The complex shear modulus (G*) is measured by placing the tip at an operating indentation of 500 nm and superimposing small amplitude ( 75 nm) multifrequency oscillations composed of sine waves (0.1-11.45 Hz). G* is computed in the frequency domain from the complex ratio between oscillatory force and indentation signals. Both cells and ECM exhibit a viscoelastic behavior with a complex shear modulus that increases with frequency as a two power law composed of a weak power law (exponent 0.05), accounting for a viscoelastic solid regime dominant at physiological frequencies, and a second power law with an exponent of 3/4, accounting for a viscoelastic liquid regime at high frequencies. Our AFM measurements define intrinsic mechanical properties of the ECM at the length scale in which cells sense and probe their microenvironment. Regional changes in mechanical properties of the ECM could provide differential mechanical cues to regulate the spatial distribution, differentiation and function of lung and heart cells. (Funded in part by the Spanish Ministry of Economy and Competitiveness grant FIS-PI14-00280)
منابع مشابه
Polynomial Template Generation using Sum-of-Squares Programming
Template abstract domains allow to express more interesting properties than classical abstract domains. However, template generation is a challenging problem when one uses template abstract domains for program analysis. In this paper, we relate template generation with the program properties that we want to prove. We focus on one-loop programs with nested conditional branches. We formally defin...
متن کاملUsing Template Haskell for Abstract Interpretation
Metaprogramming consists of writing programs that generate or manipulate other programs. Template Haskell is a recent extension of Haskell, currently implemented in the Glasgow Haskell Compiler, giving support to metaprogramming at compile time. Our aim is to apply these facilities in order to statically analyse programs and transform them at compile time. In this paper we use Template Haskell ...
متن کاملTowards a Text Generation Template Language for Modelica
The uses, needs, and requirements of a text generation template language for Modelica are discussed. A template language may allow more concise and readable programming of the generation of textual models, program code, or documents, from a structured model representation such as abstract syntax trees (AST). Applications can be found in generating simulation code in other programming languages ...
متن کاملTemplate-Based Unbounded Time Verification of Affine Hybrid Automata
Computing over-approximations of all possible time trajectories is an important task in the analysis of hybrid systems. Sankaranarayanan et al. [20] suggested to approximate the set of reachable states using template polyhedra. In the present paper, we use a max-strategy improvement algorithm for computing an abstract semantics for affine hybrid automata that is based on template polyhedra and ...
متن کاملGeneration Mechanisms in Graphical Template Language
Textual models in MDD typically are generated in their concrete syntax using a template based language. On the contrary, graphical models as a rule are generated in abstract syntax and then visualized, which is not very efficient for complicated languages. The paper discusses a case of template based generation of graphical models in a concrete syntax. We apply this approach to generation of pr...
متن کاملTowards Automatic Generation of a Coherent TTCN-3 Template Framework
The template framework is a subset of TTCN-3 template declarations, which determines the entire template hierarchy within an abstract test suite. This paper introduces a deterministic method fortest suite. This paper introduces a deterministic method for generating such a template framework from type definitions.
متن کامل